Haifa 1985 conference on matrix theory

Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

Interprofessional Education Conference: Grounding Action in Theory

This article has no abstract.

11th Haifa Workshop on Interdisciplinary Applications of Graph Theory, Combinatorics and Algorithms

We present an algorithm for multi-hop routing and scheduling of requests in wireless networks. Our algorithm assumes that linear powers are assigned to the transmitters. The goal of our algorithm is to maximize the total throughput. The approximation ratio of the algorithm is O(log n), where n denotes the number of nodes. This is the first approximation algorithm that obtains an approximation r...

18th International Conference on Concurrency Theory

The process of inverting Markov kernels relates to the important subject of Bayesian modelling and learning. In fact, Bayesian update is exactly kernel inversion. In this paper, we investigate how and when Markov kernels (aka stochastic relations, or probabilistic mappings, or simply kernels) can be inverted. We address the question both directly on the category of measurable spaces, and indire...

Conference on Learning Theory 2015: Preface

These proceedings contain the 70 papers accepted to and presented at the 28th Conference on Learning Theory (COLT), held in Paris, France on July 2-6, 2015. These papers were selected by the program committee with additional help from external expert reviewers from 180 submissions. Of the 70 papers, 19 were given a 20-minute presentation, the remaining 51 a 5-minute presentation. All authors we...